propositional calculus problems Download